Auto merge of #1850 - alexcrichton:update-docopt, r=alexcrichton
authorbors <bors@rust-lang.org>
Tue, 28 Jul 2015 01:10:24 +0000 (01:10 +0000)
committerbors <bors@rust-lang.org>
Tue, 28 Jul 2015 01:10:24 +0000 (01:10 +0000)
commit136a70f2cca04e1e6a3af28560b40ef6f293d99b
treeeeea823857044b1bc3c8539561f0bd13f0ae31ea
parent377feb9da1df70a8e8e28b211fe65f4be307112e
parentc1071c69a1da0023dcc1ea34d493de45ebd030a8
Auto merge of #1850 - alexcrichton:update-docopt, r=alexcrichton

Closes #1426